1. Integrated Methods for Optimization
پدیدآورنده : / John N. Hooker (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Integrated Methods for Optimization
پدیدآورنده : / John N. Hooker
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ENGINEERING, INDUSTRIAL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
3. Integrated Methods for Optimization
پدیدآورنده : / John N. Hooker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematical optimization,Programming (Mathematics),Constraint programming (Computer science),Computer science, Mathematical models
رده :
T57
.
H66
2012
4. Integrated methods for optimization
پدیدآورنده : / By John N.Hooker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Optimization
رده :
519
.
6
H783i
5. Integrated methods for optimization
پدیدآورنده : Hooker, John
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Mathematical optimization,، Programming )Mathematics(,، Constraint programming )Computer science(,Mathematical models ، Computer science
رده :
T
57
.
H6I5
2007
6. Integrated methods for optimization
پدیدآورنده : Hooker, John 1949
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Logic-based methods for optimization: combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
8. Logic-based methods for optimization :
پدیدآورنده : John Hooker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linear programming.,Logic, Symbolic and mathematical.,Mathematical optimization.
رده :
T57
.
74
J646
2000
9. Logic-based methods for optimization: combining and constraint satisfaction
پدیدآورنده : John Hooker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Linear programming,Mathematical optimization,Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
10. Logic-based methods for optimization: combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
11. Logic-based methods for optimization : combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H6
12. Of The Laws of Ecclesiastical Polity
پدیدآورنده : Richard Hooker ; W. Speed Hill, general editor ; with the assistance of Egil Grislis ; John E. Booty ... [et al.], contributing editors.,Includes bibliographical references and indexes.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Church of England--Doctrines--Early works to 1800.,Church polity--Early works to 1800.,Ecclesiastical law--Early works to 1800.,Anglican Communion--Doctrines--Early works to 1800.,Church and state--Great Britain--Early works to 1800.
رده :
BV
,
649
,
H9
13. Optimization methods for logical inference
پدیدآورنده : Vijay Chandru, John Hooker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Combinatorial optimization,Logic, Symbolic and mathematical
رده :
QA
402
.
5
.
C44
1999
